Weihl, William: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Scalable Concurrent B-Trees Using Multi-Version Memory

Paul Wang, William E. Weihl

Journal:

Journal of Parallel and Distributed Computing

Year:

1996

Language:

english

File:

PDF, 457 KB

english, 1996

2

Reaching approximate agreement in the presence of faults

Dolev, Danny, Lynch, Nancy A., Pinter, Shlomit S., Stark, Eugene W., Weihl, William E.

Journal:

Journal of the ACM

Year:

1986

Language:

english

File:

PDF, 1.40 MB

english, 1986

3

The pessimism behind optimistic simulation

Varghese, George, Chamberlain, Roger, Weihl, William E.

Journal:

ACM SIGSIM Simulation Digest

Year:

1994

Language:

english

File:

PDF, 624 KB

english, 1994

4

Deriving global virtual time algorithms from conservative simulation protocols

George Varghese, Roger Chamberlain, William E. Weihl

Journal:

Information Processing Letters

Year:

1995

Language:

english

File:

PDF, 678 KB

english, 1995

5

Hybrid atomicity for nested transactions

Alan Fekete, Nancy Lynch, William E. Weihl

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 1.93 MB

english, 1995

6

When does a correct mutual exclusion algorithm guarantee mutual exclusion?

Leslie Lamport, Sharon Perl, William Weihl

Journal:

Information Processing Letters

Year:

2000

Language:

english

File:

PDF, 44 KB

english, 2000

7

Specifications of distributed programs

Barbara Liskov, William Weihl

Journal:

Distributed Computing

Year:

1986

Language:

english

File:

PDF, 1.72 MB

english, 1986

8

[ACM Press the 7th ACM SIGPLAN-SIGACT symposium - Las Vegas, Nevada (1980.01.28-1980.01.30)] Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '80 - Interprocedural data flow analysis in the presence of pointers, procedure variables, and label variables

Weihl, William E.

Year:

1980

Language:

english

File:

PDF, 1.21 MB

english, 1980

9

[ACM Press the 1993 ACM SIGMOD international conference - Washington, D.C., United States (1993.05.25-1993.05.28)] Proceedings of the 1993 ACM SIGMOD international conference on Management of data - SIGMOD '93 - Atomic incremental garbage collection and recovery for a large stable heap

Kolodner, Elliot K., Weihl, William E.

Year:

1993

Language:

english

File:

PDF, 1.25 MB

english, 1993

10

Reasoning about object-oriented programs that use subtypes

Leavens, Gary T., Weihl, William E.

Journal:

ACM SIGPLAN Notices

Year:

1990

Language:

english

File:

PDF, 1.20 MB

english, 1990

11

Continuous profiling: where have all the cycles gone?

Anderson, Jennifer M., Weihl, William E., Berc, Lance M., Dean, Jeffrey, Ghemawat, Sanjay, Henzinger, Monika R., Leung, Shun-Tak A., Sites, Richard L., Vandevoorde, Mark T., Waldspurger, Carl A.

Journal:

ACM Transactions on Computer Systems

Year:

1997

Language:

english

File:

PDF, 253 KB

english, 1997

12

Reducing synchronization overhead in parallel simulation

Legedza, Ulana, Weihl, William E.

Journal:

ACM SIGSIM Simulation Digest

Year:

1996

Language:

english

File:

PDF, 1.03 MB

english, 1996

13

The impact of mindfulness skills on interactions between direct care staff and adults with developmental disabilities

Chancey, Christina, Weihl, Cynthia, Root, William B., Rehfeldt, Ruth Anne, McCauley, Donnell, Takeguchi, Kazu, Pritchard, Josh

Journal:

Journal of Contextual Behavioral Science

Year:

2018

Language:

english

File:

PDF, 450 KB

english, 2018

14

Two phase gossip: Managing distributed event histories

Abdelsalam Heddaya, Meichun Hsu, William Weihl

Journal:

Information Sciences

Year:

1989

Language:

english

File:

PDF, 1.67 MB

english, 1989

15

Commutativity-based locking for nested transactions

Alan Fekete, Nancy Lynch, Michael Merritt, William Weihl

Journal:

Journal of Computer and System Sciences

Year:

1990

Language:

english

File:

PDF, 5.98 MB

english, 1990

16

Hybrid concurrency control for abstract data types

Maurice P. Herlihy, William E. Weihl

Journal:

Journal of Computer and System Sciences

Year:

1991

Language:

english

File:

PDF, 2.33 MB

english, 1991

17

The impact of recovery on concurrency control

William E. Weihl

Journal:

Journal of Computer and System Sciences

Year:

1993

Language:

english

File:

PDF, 1.87 MB

english, 1993

18

Specification and verification of object-oriented programs using supertype abstraction

Gary T. Leavens, William E. Weihl

Journal:

Acta Informatica

Year:

1995

Language:

english

File:

PDF, 4.14 MB

english, 1995

19

[ACM Press the 1992 ACM SIGMETRICS joint international conference - Newport, Rhode Island, United States (1992.06.01-1992.06.05)] Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems - SIGMETRICS '92/PERFORMANCE '92 - PROTEUS: a high-performance parallel-architecture simulator

Brewer, Eric A., Dellarocas, Chrysanthos N., Colbrook, Adrian, Weihl, William E.

Year:

1992

Language:

english

File:

PDF, 228 KB

english, 1992

20

[ACM Press the fourth ACM SIGPLAN symposium - San Diego, California, United States (1993.05.19-1993.05.22)] Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming - PPOPP '93 - Computation migration

Hsieh, Wilson C., Wang, Paul, Weihl, William E.

Year:

1993

Language:

english

File:

PDF, 1.17 MB

english, 1993

21

[ACM Press the eighth workshop - Edinburgh, Scotland, United Kingdom (1994.07.06-1994.07.08)] Proceedings of the eighth workshop on Parallel and distributed simulation - PADS '94 - The pessimism behind optimistic simulation

Varghese, George, Chamberlain, Roger, Weihl, William E.

Year:

1994

Language:

english

File:

PDF, 624 KB

english, 1994

22

[ACM Press the 20th annual international symposium - San Diego, California, United States (1993.05.16-1993.05.19)] Proceedings of the 20th annual international symposium on Computer architecture - ISCA '93 - Register relocation

Waldspurger, Carl A., Weihl, William E.

Year:

1993

Language:

english

File:

PDF, 1.01 MB

english, 1993

23

[ACM Press the fourteenth ACM symposium - Asheville, North Carolina, United States (1993.12.05-1993.12.08)] Proceedings of the fourteenth ACM symposium on Operating systems principles - SOSP '93 - Performance assertion checking

Perl, Sharon E., Weihl, William E.

Year:

1993

Language:

english

File:

PDF, 1.10 MB

english, 1993

24

[ACM Press the 1993 ACM/ONR workshop - San Diego, California, United States (1993.05.17-1993.05.18)] Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging - PADD '93 - Developing parallel applications using high-performance simulation

Brewer, Eric A., Weihl, William E.

Year:

1993

File:

PDF, 881 KB

1993

25

[ACM Press the sixteenth ACM symposium - Saint Malo, France (1997.10.05-1997.10.08)] Proceedings of the sixteenth ACM symposium on Operating systems principles - SOSP '97 - Continuous profiling

Anderson, Jennifer M., Weihl, William E., Berc, Lance M., Dean, Jeffrey, Ghemawat, Sanjay, Henzinger, Monika R., Leung, Shun-Tak A., Sites, Richard L., Vandevoorde, Mark T., Waldspurger, Carl A.

Year:

1997

Language:

english

File:

PDF, 2.18 MB

english, 1997

26

[ACM Press the seventh ACM SIGACT-SIGMOD-SIGART symposium - Austin, Texas, United States (1988..-..)] Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '88 - Hybrid concurrency control for abstract data types

Herlihy, Maurice P., Weihl, William E.

Year:

1988

Language:

english

File:

PDF, 1.27 MB

english, 1988

27

[ACM Press the fourth annual ACM symposium - Minaki, Ontario, Canada (1985..-..)] Proceedings of the fourth annual ACM symposium on Principles of distributed computing - PODC '85 - Distributed version management for read-only actions (extended abstract)

Weihl, William E.

Year:

1985

Language:

english

File:

PDF, 1.08 MB

english, 1985

28

Implementation of resilient, atomic data types

Weihl, William, Liskov, Barbara

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1985

Language:

english

File:

PDF, 2.09 MB

english, 1985

29

[ACM Press the 4th workshop - Bologna, Italy (1990.09.03-1990.09.05)] Proceedings of the 4th workshop on ACM SIGOPS European workshop - EW 4 - Fault-tolerant parallel computing

Weihl, William E.

Year:

1990

Language:

english

File:

PDF, 229 KB

english, 1990

30

[ACM Press the 13th ACM SIGACT-SIGPLAN symposium - St. Petersburg Beach, Florida (1986.01.01-..)] Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '86 - Atomic data abstractions in a distributed collaborative editing system

Greif, Irene, Seliger, Robert, Weihl, William E.

Year:

1986

Language:

english

File:

PDF, 2.41 MB

english, 1986

31

[ACM Press the 1989 ACM SIGMOD international conference - Portland, Oregon, United States (1989..-..)] Proceedings of the 1989 ACM SIGMOD international conference on Management of data - SIGMOD '89 - Atomic garbage collection: managing a stable heap

Kolodner, Elliot, Liskov, Barbara, Weihl, William

Year:

1989

Language:

english

File:

PDF, 1.46 MB

english, 1989

32

[ACM Press the second annual ACM symposium - Montreal, Quebec, Canada (1983.08.17-1983.08.19)] Proceedings of the second annual ACM symposium on Principles of distributed computing - PODC '83 - Data-dependent concurrency control and recovery (Extended Abstract)

Weihl, William E.

Year:

1983

Language:

english

File:

PDF, 1.04 MB

english, 1983

33

Linguistic support for atomic data types

Weihl, William E.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1990

Language:

english

File:

PDF, 2.01 MB

english, 1990

34

[ACM Press the fifth ACM SIGPLAN symposium - Santa Barbara, California, United States (1995.07.19-1995.07.21)] Proceedings of the fifth ACM SIGPLAN symposium on Principles and practice of parallel programming - PPOPP '95 - Optimistic active messages

Wallach, Deborah A., Hsieh, Wilson C., Johnson, Kirk L., Kaashoek, M. Frans, Weihl, William E.

Year:

1995

Language:

english

File:

PDF, 1.09 MB

english, 1995

35

[ACM Press the 1983 ACM SIGPLAN symposium - San Francisco, California, United States (1983.06.27-1983.06.29)] Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems - SIGPLAN '83 - Specification and implementation of resilient, atomic data types

Weihl, William, Liskov, Barbara

Year:

1983

Language:

english

File:

PDF, 1.22 MB

english, 1983

36

[ACM Press the ninth ACM SIGACT-SIGMOD-SIGART symposium - Nashville, Tennessee, United States (1990.04.02-1990.04.04)] Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '90 - A serialization graph construction for nested transactions

Fekete, Alan, Lynch, Nancy, Weihl, William E.

Year:

1990

Language:

english

File:

PDF, 2.13 MB

english, 1990

37

On the correctness of orphan management algorithms

Herlihy, Maurice, Lynch, Nancy, Merritt, Michael, Weihl, William

Journal:

Journal of the ACM

Year:

1992

Language:

english

File:

PDF, 3.65 MB

english, 1992

38

[ACM Press the 1996 ACM/IEEE conference - Pittsburgh, Pennsylvania, United States (1996..-..)] Proceedings of the 1996 ACM/IEEE conference on Supercomputing (CDROM) - Supercomputing '96 - Dynamic computation migration in DSM systems

Hsieh, Wilson C., Kaashoek, M. Frans, Weihl, William E.

Year:

1996

Language:

english

File:

PDF, 221 KB

english, 1996

39

[ACM Press the European conference on object-oriented programming - Ottawa, Canada (1990..-..)] Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications - OOPSLA/ECOOP '90 - Reasoning about object-oriented programs that use subtypes

Leavens, Gary T., Weihl, William E.

Year:

1990

Language:

english

File:

PDF, 1.20 MB

english, 1990

40

Data-dependent concurrency control and recovery

Weihl, William E.

Journal:

ACM SIGOPS Operating Systems Review

Year:

1985

Language:

english

File:

PDF, 1.02 MB

english, 1985

41

Developing parallel applications using high-performance simulation

Brewer, Eric A., Weihl, William E.

Journal:

ACM SIGPLAN Notices

Year:

1993

File:

PDF, 881 KB

1993

42

Performance assertion checking

Perl, Sharon E., Weihl, William E.

Journal:

ACM SIGOPS Operating Systems Review

Year:

1993

Language:

english

File:

PDF, 1.10 MB

english, 1993

43

Continuous profiling

Anderson, Jennifer M., Weihl, William E., Berc, Lance M., Dean, Jeffrey, Ghemawat, Sanjay, Henzinger, Monika R., Leung, Shun-Tak A., Sites, Richard L., Vandevoorde, Mark T., Waldspurger, Carl A.

Journal:

ACM SIGOPS Operating Systems Review

Year:

1997

Language:

english

File:

PDF, 2.18 MB

english, 1997

44

Register relocation

Waldspurger, Carl A., Weihl, William E.

Journal:

ACM SIGARCH Computer Architecture News

Year:

1993

Language:

english

File:

PDF, 1.01 MB

english, 1993

45

Optimistic active messages

Wallach, Deborah A., Hsieh, Wilson C., Johnson, Kirk L., Kaashoek, M. Frans, Weihl, William E.

Journal:

ACM SIGPLAN Notices

Year:

1995

Language:

english

File:

PDF, 1.09 MB

english, 1995

46

PROTEUS: a high-performance parallel-architecture simulator

Brewer, Eric A., Dellarocas, Chrysanthos N., Colbrook, Adrian, Weihl, William E.

Journal:

ACM SIGMETRICS Performance Evaluation Review

Year:

1992

Language:

english

File:

PDF, 228 KB

english, 1992

47

Pipes

Brewer, Eric A., Colbrook, Adrian, Hsieh, Wilson C., Wang, Paul, Weihl, William E.

Journal:

ACM SIGPLAN Notices

Year:

1993

Language:

english

File:

PDF, 113 KB

english, 1993

48

Atomic garbage collection: managing a stable heap

Kolodner, Elliot, Liskov, Barbara, Weihl, William

Journal:

ACM SIGMOD Record

Year:

1989

Language:

english

File:

PDF, 1.46 MB

english, 1989

49

Computation migration

Hsieh, Wilson C., Wang, Paul, Weihl, William E.

Journal:

ACM SIGPLAN Notices

Year:

1993

Language:

english

File:

PDF, 1.17 MB

english, 1993